Section: Bilateral Contracts and Grants with Industry

Scytl - Electronic Voting Systems

Participants : Véronique Cortier, Mathieu Turuani.

Since 2014, a collaboration agreement has been signed between Loria and Scytl, a Spanish company who is proposing solutions for the organization of on-line elections, including legally binding elections, in several countries. In this context, Scytl has signed a contract in 2016 with the Pesto team as well as the University of Birmingham (David Galindo) to design a formal proof of both verifiability and privacy of the protocol developed by Scytl, for a deployment in Switzerland. The result of the analysis will be presented at the conference EuroS&P'18 [23].